supremum and infimum